and Logic

Results: 11835



#Item
191

Incremental Analysis of Constraint Logic Programs MANUEL HERMENEGILDO and GERMAN PUEBLA Universidad Polit´ecnica de Madrid KIM MARRIOTT Monash University and

Add to Reading List

Source URL: cliplab.org

- Date: 2005-07-26 16:20:28
    192

    Under consideration for publication in Theory and Practice of Logic Programming 1 Lightweight compilation of (C)LP to JavaScript ∗ Jose F. Morales1 , Rémy Haemmerlé2 ,

    Add to Reading List

    Source URL: cliplab.org

    - Date: 2012-06-27 16:30:59
      193

      Int J Theor Phys: 769–802 DOIs10773A Link between Quantum Logic and Categorical Quantum Mechanics John Harding

      Add to Reading List

      Source URL: www.iub.edu

      - Date: 2009-03-23 12:49:41
        194

        Programming and Proving with Distributed Protocols Disel: Distributed Separation Logic {P }

        Add to Reading List

        Source URL: ilyasergey.net

        - Date: 2018-03-26 18:04:22
          195

          A Dynamic-Logical Perspective on Quantum Behavior A. Baltag and S. Smets Abstract In this paper we show how recent concepts from Dynamic Logic, and in

          Add to Reading List

          Source URL: www.vub.ac.be

          - Date: 2008-02-22 13:26:37
            196

            Linear logic as a logical framework by Dale Miller, Inria Abstract to be presented at SD 2017: Structures & Deduction Logical frameworks have seen three decades of design, theory, implementation, and applications. An ear

            Add to Reading List

            Source URL: anupamdas.com

            - Date: 2017-08-04 11:45:45
              197

              Bridging static and dynamic program analysis using fuzzy logic Jacob Lidman & Josef Svenningsson Chalmers University of Technology {lidman, josefs}@chalmers.se

              Add to Reading List

              Source URL: qapl17.doc.ic.ac.uk

              - Date: 2017-04-20 09:16:43
                198

                Function compose, Type cut, And the Algebra of logic XIE Yuheng SZDIY community Abstract

                Add to Reading List

                Source URL: scheme2016.snow-fort.org

                - Date: 2016-09-23 10:04:45
                  199

                  COMPOSITIONAL AND HOLISTIC QUANTUM COMPUTATIONAL SEMANTICS MARIA LUISA DALLA CHIARA, ROBERTO GIUNTINI, AND ROBERTO LEPORINI Abstract. In quantum computational logic meanings of sentences are identified with quantum infor

                  Add to Reading List

                  Source URL: www.iub.edu

                  - Date: 2009-04-04 22:10:32
                    UPDATE